#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

void uint32_array_to_c_hex(const uint32_t* ary, int sz, const char* name)
{
    printf("static const uint32_t %s[%d] = {\n", name, sz);
    int i = 0;
    for (;;) {
        printf("0x%08x", ary[i]);
        ++i;
        if (i == sz) break;
        if (i % 6 == 0) {
            printf(",\n");
        } else {
            printf(", ");
        }
    }
    printf("\n};\n");
}


int main() {
	uint32_t i;
	uint32_t sz = 1 << 16;
	uint32_t words[sz];
	for (i = 0; i < sz; ++i) {
		words[i] = random();
	}

	uint32_array_to_c_hex(words, sz, "hashwords");
}
